English translation for "communicating sequential process"
|
- 通信顺序进程
Related Translations:
communicate: vt.1.传达;传授。2.【宗教】授与(圣餐)。3.传染(疾病)。vi.1.通信,交通 (with)。2.相通 (with)。3.【宗教】接受圣餐。4.传,移 (to). communicate by telegram 用电报通信。短语和例子This room communicates with another room. 这间屋子和另外一间屋子相通。
- Example Sentences:
| 1. | Addison wesley , 1999 . 10 hoare c a r . communicating sequential processes 这种方法的实际实现通过一个第三代移动通信安全算法进行了验证。 | | 2. | The off - the - shelf refinements are inspired by the operators of communicating sequential processes and map easily to programs in handel - c a hardware description language 在过去的10年里,人们进行了一些尝试,试图应用bmf方法从功能图抽象描述中生成并行程序。 | | 3. | 21 majster - cederbaum m , salger f . towards the hierarchical verification of reactive systems . theoretical computer science , 2004 , 318 : 243 - 296 . 22 winskel g . an introduction to event structures . lecture notes in computer science 354 , 1989 , pp . 364 - 397 . 23 hoare c a r . communicating sequential processes , prentice - hall , 1985 本文分别在语法和语义层次上对动作精化进行了定义,并证明了这两个层次的动作精化在前述两种等价关系下,关于一种基于完全偏序的指称语义是一致的。 |
- Similar Words:
- "communicating operator" English translation, "communicating pipe" English translation, "communicating please wait" English translation, "communicating pore" English translation, "communicating pores" English translation, "communicating signal appliance" English translation, "communicating space" English translation, "communicating style" English translation, "communicating terminal" English translation, "communicating the system" English translation
|
|
|